"ludolph's number" is not in the dictionary.